$g$$\downarrow$hgrp $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$g$$\mid^{+}$, =$_{b}$, $\leq_{b}$, $\ast$, e, $\lambda$$x$.$x$$>$